21. First order categorical logic : model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M3
1977
22. First order categorical logic: model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
23. First order categorical logic: model-theorical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
24. Forcing and classifying topoi /
پدیدآورنده : Andrej Sčědrov
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics),Forcing (Model theory),Toposes
رده :
QA169
.
A57
no
.
295
25. Higher topos theory
پدیدآورنده : Lurie, Jacob
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Toposes,، Categories )Mathematics(
رده :
QA
169
.
L87
26. Indexed categories and their applications
پدیدآورنده :
موضوع : ، Categories )Mathematics(,، Toposes,، Algebra, Universal
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
27. Indexed categories and their applications
پدیدآورنده : John Stone , P. T.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Addresses, essays, lectures ، Categories )Mathematics(,Addresses, essays, lectures ، Toposes,Addresses, essays, lectures ، Algebra, Universal
رده :
QA
3
.
L28
no
.
661
28. Indexed categories and their applications
پدیدآورنده : P. T. Johnstone ... )et al.( ; edited by P. T. Johnstone and R. Pare
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Addresses, essays, lectures ، Categories )Mathematics(,Addresses, essays, lectures ، Toposes,Addresses, essays, lectures ، Algebra, Universal
رده :
QA
1
.
L4
v
.
661
29. Indexed categories and their applications
پدیدآورنده : P. T. Johnstone ... ]et al.[; edited by P. T. Johnsotone and R. Pare
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Categories )Mathematics(,Addresses, essays, lectures ، Toposes,Addresses, essays, lectures ، Algebra, Universal
رده :
QA
3
.
L28
Vol
.
661
30. The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics /
پدیدآورنده : John L. Bell.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- Philosophy.,Mathematics-- Philosophy.
رده :
QA8
.
4
31. Toposes, Algebraic geometry and logic
پدیدآورنده : ]by[ I.Bucur ]and others[ edited by F.W.Lawvere
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
274
32. Toposes, algebraic geometry and logic
پدیدآورنده : ]by[ I. Bucur... ]et al.[ ; Edited by F. W. Lawvere
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes
رده :
QA
169
.
T6
1972
33. Toposes, algebraic geometry and logic : Dalhousie University, Halifax, January 16-19, 1971
پدیدآورنده : I. Bucur ... ]et al.[; edited by F. W. Lawvere
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Toposes
رده :
QA
3
.
L28
Vol
.
274
34. Toposes, triples, and theories
پدیدآورنده : Barr, Michael
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Categories )Mathematics(,، Toposes,، Triples, Theory of
رده :
QA
169
.
B346
1985
35. Toposes, triples, and theories
پدیدآورنده : / Michael Barr, Charles Wells
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Categories (Mathematics),Toposes,Triples, Theory of
رده :
QA169
.
B346
1985
36. Toposes, triples and theories
پدیدآورنده : Barr, Michael
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Categories )Mathematics(,، Toposes,، Triples, Theory of
رده :
QA
169
.
B346
1984
37. Toposes, triples, and theories
پدیدآورنده : Barr, Michael.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Categories )Mathematics(,، Toposes,، Triples, Theory of
رده :
QA
1
.
G7
v
.
278
38. Toposes, triples, and theories
پدیدآورنده : / Michael Barr, Charles Wells
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Categories (Mathematics),Toposes,Triples, Theory of
رده :
QA169
.
B346
1985
39. Toposes, triples, and theories
پدیدآورنده : Barr, Michael
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Categories )Mathematics(,، Toposes,، Triples, Theory of
رده :
QA
169
.
B346
1984
40. Toposes, triples, and theories
پدیدآورنده : Michael Barr, Charles Wells,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Categories )Mathematics(,Toposes,Triples, Theory of
رده :
QA
.
B346
169
1984
